6.3 狭義順序を定義する